COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone "497-4003",Who"John McCarthy",Logo Old, Department CSD)
C00004 ENDMK
C⊗;
@make(letterhead,Phone "497-4003",Who"John McCarthy",Logo Old, Department CSD)
@style[indent 8]
@blankspace(9 lines)

@begin(address)
Garland Publishing, Inc.
136 Madison Avenue
New York, New York  10016
@end(address)
@greeting(Gentlemen:)
@begin(body)
I would like to recommend the PhD. thesis, "Computational Uses
of the Manipulation of Formal Proofs", 
by Chris Goad, for inclusion in your series of outstanding PhD. theses.
You have previously published theses by Moore and Cartwright on my 
recommendation.

There has already been much demand for the report based on Goad's
thesis. It breaks new ground in regarding proofs of existence as
programs for computing the objects proved  to exist.  The additional
information contained in the proof, beyond that contained in an ordinary 
program, makes possible adapting the program to special cases in ways
that would otherwise not be possible.

A copy of the thesis is enclosed.
@end(body)
Sincerely,



John McCarthy
Professor of Computer Science